一件谋杀案，经过周密调查后得到了以下确切的判断:

(1)凶手是甲或者乙;

(2)若凶手是甲，则谋杀不会发生在午夜前，

(3)若乙的供词是正确的，则谋杀发生在午夜前:

(4)若乙的供词不正确，则在午夜前受害者房里的灯光未灭，

(5)在午夜前受害者房里的灯光灭了。

试问:根据以上判断可推出谁是凶手?请写出推导过程。

(p→q)Λ(p→r)Λ(¬qV¬r)˫¬p;这一推理式是二难推理的（）

• A、简单构成式
• B、简单破坏式
• C、复杂构成式
• D、复杂破坏式

如果SIP为真，则一定有（）

• A、SEP为假
• B、SOP为假
• C、SOP为真
• D、SAP为假